141. Restriction and saturation /
Author: Sandra Chung and William A. Ladusaw.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Grammar, Comparative and general-- Syntax.,Semantics.,Grammar, Comparative and general-- Syntax.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Semantics.,Semantics.
Classification :
P325
.
C386
2004eb
142. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
143. Semantic syntax /
Author: by Pieter A.M. Seuren.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Generative grammar.,Grammar, Comparative and general-- Syntax.,Semantics.,Generative grammar.,Grammar, Comparative and general-- Syntax.,LANGUAGE ARTS & DISCIPLINES-- Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Syntax.,Semantics.
Classification :
P325
.
5
.
G45
S48
2018
144. Semantics With Applications : A Formal Introduction
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) - Semantics,زبان های برنامه نویسی کامپیوتر - معنی شناسی,Nielson, Hanne Riis, 1954-,Nielson, Flemming, 1955-
Classification :
CD-B
,
QA
,
76
,.
7
,.
N54
,
1992
145. Semantics-directed compiler generation :
Author: ed. by Neil D. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compiler.,Programmiersprache.,Semantik.
146. Semantics of Chinese questions :
Author: Hongyuan Dong.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chinese language-- Interrogative.,Chinese language-- Semantics.,Speech acts (Linguistics),Chinese language-- Interrogative.,Chinese language-- Semantics.,FOREIGN LANGUAGE STUDY / Southeast Asian Languages,Speech acts (Linguistics)
Classification :
PL1241
.
D66
2019eb
147. Semantics of specification languages (SoSL) :
Author: Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
7
E339
1994
148. Semantics of specification languages (SoSL) :
Author: Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
149. Semantics-oriented natural language processing
Author: Vladimir A. Fomichov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Natural language processing (Computer science),Semantics
Classification :
QA76
.
9
.
N38
F66
2010eb
150. Semantics-oriented natural language processing
Author: Vladimir A. Fomichov
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Natural language processing (Computer science),Semantics,Nateurliche Sprache., swd,Semantik., swd,Sprachverarbeitung., swd
Classification :
QA
،
76
.
9
،.
N38
,
F66
،
2010
151. Semantics with applications: a formal introduction
Author: Nielson, Hanne Riis, 4591-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Programming languages )Electronic computers(- Semantics
Classification :
QA76
.
7
.
N541992
152. Specification and analysis of concurrent systems :
Author: Ryszard Janicki
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
58
R979
2012
153. Studies in Greek lexicography /
Author: edited by Georgios K. Giannakis, Christoforos Charalambakis, Franco Montanari and Antonios Rengakos ; in honor of John N. Kazazis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Greek language-- Lexicography.,Altgriechisch.,diachronic semantics.,Etymologie.,etymology.,Greek language.,lexicography.,Lexikographie.,Greek language-- Lexicography.,LANGUAGE ARTS & DISCIPLINES-- Lexicography.
Classification :
PA433
.
S88
2019
154. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
Author: edited by Linda C. van der Gaag.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
2013
155. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188
156. Symposium on real-time and hybrid systems :
Author: Cliff Jones, Ji Wang, Naijun Zhan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
157. Symposium on semantics of algorithmic languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
Classification :
3
.
L28
,
no
.
188
158. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
159. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971
160. Symposium on semantics of algorithmic languages
Author: edited by E.Engeler
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
no
.
188
